1. ......................
پدیدآورنده: edited by R. Parikh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
453
2. .....................
پدیدآورنده: Chang, Chin-liang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
3. A Concise Introduction to Mathematical Logic
پدیدآورنده: by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
4. A Concise introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic, Symbolic and mathematical
رده :
511
.
3
R249c
2
Ed
.
5. <A> Concise introduction to pure mathematics
پدیدآورنده: \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
6. A Course in Model Theory :
پدیدآورنده: by Bruno Poizat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
7. A Course on Mathematical Logi
پدیدآورنده: / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
8. A course on mathematical logic
پدیدآورنده: Srivastava, S. M. )Sashi Mohan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S65
2008
9. <A> First Course in Logic
پدیدآورنده: \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
10. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده: \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
11. <A> First Course in Modern Logic
پدیدآورنده: \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
12. <A> Framework for Priority Arguments
پدیدآورنده: / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
13. <A> Logical Approach to Philosophy
پدیدآورنده: \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
14. <A> Mathematical Introduction to Logic
پدیدآورنده: \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
15. A Mathematical Structure for Emergent Computation
پدیدآورنده: by Victor Korotkich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
16. A Precis of Mathematical Logic
پدیدآورنده: by J.M. Bocheński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
17. A computational logic handbook
پدیدآورنده: BOYER,ROBERT S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
18. A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
19. A concise introduction to mathematical logic
پدیدآورنده: Rautenberg, Wolfgang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
20. A concise introduction to mathematical logic
پدیدآورنده: Rautenberg, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R26513
2010
